Francesco Mazzocca: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks

Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca

Journal:

Journal of Intelligent Manufacturing

Year:

2004

Language:

english

File:

PDF, 762 KB

english, 2004

2

Towards Model-Driven V&V assessment of railway control systems

Marrone, Stefano, Flammini, Francesco, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 2.25 MB

english, 2014

3

PI3K Functions in Cancer Progression, Anticancer Immunity and Immune Evasion by Tumors

Dituri, Francesco, Mazzocca, Antonio, Giannelli, Gianluigi, Antonaci, Salvatore

Journal:

Clinical & Developmental Immunology

Year:

2011

Language:

english

File:

PDF, 264 KB

english, 2011

4

PI3K class IB controls the cell cycle checkpoint promoting cell proliferation in hepatocellular carcinoma

Francesco Dituri, Antonio Mazzocca, Luigi Lupo, Charlotte E. Edling, Amalia Azzariti, Salvatore Antonaci, Marco Falasca, Gianluigi Giannelli

Journal:

International Journal of Cancer

Year:

2012

Language:

english

File:

PDF, 1.92 MB

english, 2012

5

Topology of the mitochondrial cAMP-dependent protein kinase and its substrates

Anna Maria Sardanelli, Zuzana Technikova-Dobrova, Francesco Speranza, Antonio Mazzocca, Salvatore Scacco, Sergio Papa

Journal:

Year:

1996

Language:

english

File:

PDF, 502 KB

english, 1996

6

Characterizations of Classical Algebraic Varieties in Some Papers of Giuseppe Tallini and Some Personal Memories of a Friend

Francesco Mazzocca

Journal:

Results in Mathematics

Year:

1997

Language:

english

File:

PDF, 659 KB

english, 1997

7

Preface

Alessandro Bichara, Dina Ghinelli, Guglielmo Lunardon, Francesco Mazzocca

Journal:

Discrete Mathematics

Year:

2003

Language:

english

File:

PDF, 34 KB

english, 2003

8

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Francesco Flammini, Nicola Mazzocca, Antonio Orazzo

Journal:

Software Testing, Verification and Reliability

Year:

2009

Language:

english

File:

PDF, 1.26 MB

english, 2009

9

[IEEE 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07) - Napoli, Italy (2007.02.7-2007.02.9)] 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07) - Automatic Analysis of Control Flow inWeb Services Composition Processes

Di Lorenzo, Giusy, Moscato, Francesco, Mazzocca, Nicola, Vittorini, Valeria

Year:

2007

Language:

english

File:

PDF, 275 KB

english, 2007

10

Solution Workflows for Model-Based Analysis of Complex Systems

Moscato, Francesco, Vittorini, Valeria, Amato, Flora, Mazzeo, Antonino, Mazzocca, Nicola

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2011

Language:

english

File:

PDF, 750 KB

english, 2011

11

[IEEE Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Torino, Italy (2005.09.19-2005.09.22)] Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Multisolution of complex performability models in the OsMoSys/DrawNET framework

Marco, G., Mazzocca, N., Francesco, M., Vittorini, V.

Year:

2005

Language:

english

File:

PDF, 367 KB

english, 2005

12

Modelling of Railway Logics for Reverse Engineering, Verification and Refactoring

Flaminni, Francesco, Lazzaro, Armando, Mazzocca, Nocila

Journal:

Safety and Reliability

Year:

2010

Language:

english

File:

PDF, 2.28 MB

english, 2010

13

[IEEE 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Taipei, Taiwan (2017.3.27-2017.3.29)] 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Multilayer Perceptron: An Intelligent Model for Classification and Intrusion Detection

Amato, Flora, Mazzocca, Nicola, Moscato, Francesco, Vivenzio, Emilio

Year:

2017

Language:

english

File:

PDF, 453 KB

english, 2017

14

On a class of lattices associated with n-cubes

Francesco Mazzocca

Journal:

Discrete Mathematics

Year:

1984

Language:

english

File:

PDF, 265 KB

english, 1984

15

Generalized Hyperfocused Arcs in PG(2,p)

Blokhuis, Aart, Marino, Giuseppe, Mazzocca, Francesco

Journal:

Journal of Combinatorial Designs

Year:

2014

Language:

english

File:

PDF, 126 KB

english, 2014

16

Tumor-secreted lysophostatidic acid accelerates hepatocellular carcinoma progression by promoting differentiation of peritumoral fibroblasts in myofibroblasts

Antonio Mazzocca, Francesco Dituri, Luigi Lupo, Michele Quaranta, Salvatore Antonaci, Gianluigi Giannelli

Journal:

Year:

2011

Language:

english

File:

PDF, 980 KB

english, 2011

17

Caps and Veronese varieties in projective Galois spaces

Francesco Mazzocca, Nicola Melone

Journal:

Discrete Mathematics

Year:

1984

Language:

english

File:

PDF, 476 KB

english, 1984

18

A Formal Model for Autonomous Planning in High Performance Systems

Amato, Flora, Mazzeo, Antonino, Mazzocca, Nicola, Moscato, Francesco

Journal:

Procedia Computer Science

Year:

2016

Language:

english

File:

PDF, 339 KB

english, 2016

19

A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance

Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini

Journal:

Reliability Engineering & System Safety

Year:

2009

Language:

english

File:

PDF, 700 KB

english, 2009

20

[IEEE 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC) - Guangzhou, China (2017.12.12-2017.12.15)] 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC) - OFL: A Language for Cloud Orchestration

Amato, Flora, Castiglione, Aniello, Mazzocca, Nicola, Moscato, Francesco, Moscato, Vincenzo

Year:

2017

Language:

english

File:

PDF, 425 KB

english, 2017

21

Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications

Flammini, Francesco, Marrone, Stefano, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 882 KB

english, 2015

22

Differential Inhibition of the TGF-β Signaling Pathway in HCC Cells Using the Small Molecule Inhibitor LY2157299 and the D10 Monoclonal Antibody against TGF-β Receptor Type II

Dituri, Francesco, Mazzocca, Antonio, Peidrò, Fernando Juan, Papappicco, Patrizia, Fabregat, Isabel, De Santis, Flavia, Paradiso, Angelo, Sabbà, Carlo, Giannelli, Gianluigi, Rameshwar, Pranela

Journal:

Year:

2013

Language:

english

File:

PDF, 16.26 MB

english, 2013

23

Bijections which preserve blocking sets

Peter J. Cameron, Francesco Mazzocca

Journal:

Geometriae Dedicata

Year:

1986

Language:

english

File:

PDF, 499 KB

english, 1986

24

On a characterization of Dilworth truncations of combinatorial geometries

Francesco Mazzocca

Journal:

Journal of Geometry

Year:

1983

Language:

english

File:

PDF, 419 KB

english, 1983

25

Dual blocking sets in projective and affine planes

Peter J. Cameron, Francesco Mazzocca, Roy Meshulam

Journal:

Geometriae Dedicata

Year:

1988

Language:

english

File:

PDF, 191 KB

english, 1988

26

On ( q + t)-arcs of type (0, 2, t) in a desarguesian plane of order q

Korchmáros, Gábor, Mazzocca, Francesco

Journal:

Mathematical Proceedings of the Cambridge Philosophical Society

Year:

1990

Language:

english

File:

PDF, 892 KB

english, 1990

27

Model driven design and evaluation of security level in orchestrated cloud services

Amato, Flora, Mazzocca, Nicola, Moscato, Francesco

Journal:

Journal of Network and Computer Applications

Year:

2017

Language:

english

File:

PDF, 1.61 MB

english, 2017

28

Preface

Guglielmo Lunardon, Francesco Mazzocca, Nicola Melone, Domenico Olanda

Journal:

Discrete Mathematics

Year:

2009

Language:

english

File:

PDF, 132 KB

english, 2009

29

Optimisation of security system design by quantitative risk assessment and genetic algorithms

Flammini, Francesco, Gaglione, Andrea, Mazzocca, Nicola, Pragliola, Concetta

Journal:

International Journal of Risk Assessment and Management

Year:

2011

Language:

english

File:

PDF, 445 KB

english, 2011

30

Maximal arcs in Desarguesian planes of odd order do not exist

Simeon Ball, Aart Blokhuis, Francesco Mazzocca

Journal:

Year:

1997

Language:

english

File:

PDF, 401 KB

english, 1997

31

[IEEE 2012 Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS) - Palermo, Italy (2012.07.4-2012.07.6)] 2012 Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing - Freight Train monitoring: A Case-Study for the pSHIELD Project

Casola, Valentina, Esposito, Mariana, Mazzocca, Nicola, Flammini, Francesco

Year:

2012

Language:

english

File:

PDF, 555 KB

english, 2012

32

Extensions of combinatorial geometries by the addition of a unique line

Francesco Mazzocca

Journal:

Journal of Combinatorial Theory, Series A

Year:

1984

Language:

english

File:

PDF, 697 KB

english, 1984

33

Blocking-sets in infinite projective and affine spaces

Albrecht Beutelspacher, Francesco Mazzocca

Journal:

Journal of Geometry

Year:

1987

Language:

english

File:

PDF, 247 KB

english, 1987

34

A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELING

FLAMMINI, FRANCESCO, MARRONE, STEFANO, IACONO, MAURO, MAZZOCCA, NICOLA, VITTORINI, VALERIA

Journal:

International Journal of Reliability Quality and Safety Engineering

Year:

2014

Language:

english

File:

PDF, 861 KB

english, 2014

35

Blocking sets inPG(2,qn) from cones ofPG(2n,q)

Francesco Mazzocca, Olga Polverino

Journal:

Journal of Algebraic Combinatorics

Year:

2006

Language:

english

File:

PDF, 288 KB

english, 2006

36

Tetraspanin CD81-Regulated Cell Motility Plays a Critical Role in Intrahepatic Metastasis of Hepatocellular Carcinoma

Antonio Mazzocca, Francesco Liotta, Vinicio Carloni

Journal:

Gastroenterology

Year:

2008

Language:

english

File:

PDF, 16.13 MB

english, 2008

37

Down-regulation of connective tissue growth factor by inhibition of transforming growth factor β blocks the tumor–stroma cross-talk and tumor progression in hepatocellular carcinoma

Antonio Mazzocca, Emilia Fransvea, Francesco Dituri, Luigi Lupo, Salvatore Antonaci, Gianluigi Giannelli

Journal:

Year:

2010

Language:

english

File:

PDF, 5.02 MB

english, 2010

38

A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation

Amato, Flora, De Paola, Francesco, Diomaiuta, Crescenzo, Giugni, Maurizio, Mazzocca, Nicola, Moscato, Francesco

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 1.55 MB

english, 2015

39

An abstract reasoning architecture for privacy policies monitoring

Amato, Flora, Coppolino, Luigi, D’Antonio, Salvatore, Mazzocca, Nicola, Moscato, Francesco, Sgaglione, Luigi

Journal:

Future Generation Computer Systems

Year:

2020

File:

PDF, 1.38 MB

2020

40

High Speed Speculative Multipliers Based on Speculative Carry-Save Tree

Cilardo, Alessandro, De Caro, Davide, Petra, Nicola, Caserta, Francesco, Mazzocca, Nicola, Napoli, Ettore, Strollo, Antonio Giuseppe Maria

Journal:

IEEE Transactions on Circuits and Systems I: Regular Papers

Year:

2014

Language:

english

File:

PDF, 2.00 MB

english, 2014

41

[IEEE 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC) - Krakow, Poland (2015.11.4-2015.11.6)] 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC) - Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems

Gentile, Ugo, Marrone, Stefano, Paola, Francesco De, Nardone, Roberto, Mazzocca, Nicola, Giugni, Maurizio

Year:

2015

Language:

english

File:

PDF, 539 KB

english, 2015

42

On the structure of 3-nets embedded in a projective plane

Aart Blokhuis, Gábor Korchmáros, Francesco Mazzocca

Journal:

Journal of Combinatorial Theory, Series A

Year:

2011

Language:

english

File:

PDF, 184 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски